lastn($n$;$L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$nth\_tl($\parallel$$L$$\parallel$ {-} $n$;$L$)